Synthesizing Imperative Programs from Examples Guided by Static Analysis

We present a novel algorithm that synthesizes imperative programs for introductory programming courses. Given a set of input-output examples and a partial program, our algorithm generates a complete program that is consistent with every example. Our key idea is to combine enumerative program synthesis and static analysis, which aggressively prunes out a large search space while guaranteeing to find, if any, a correct solution. We have implemented our algorithm in a tool, called SIMPL, and evaluated it on 30 problems used in introductory programming courses. The results show that SIMPL is able to solve the benchmark problems in 6.6 seconds on average.Comment: The paper is accepted in Static Analysis Symposium (SAS) '17. The submission version is somewhat different from the version in arxiv. The final version will be uploaded after the camera-ready version is read

Surgical outcomes in 118 patients with Rathke cleft cysts

Journal ArticleObject. Microscopic Rathke cleft cysts are a common incidental autopsy finding, but some Rathke cleft cysts can become sufficiently large to cause visual impairment, hypothalamic-pituitary dysfunction, and headaches. In this study patients were evaluated pre- and postoperatively to ascertain the clinical significance of surgical intervention on endocrine and visual improvement. Factors correlated with cyst recurrence were also evaluated. Methods. A retrospective analysis was conducted in 160 patients with Rathke cleft cysts who were treated between 1984 and 1995 and completed at least a 5-year follow-up period. Of these 160 patients, 118 initially exhibited symptoms of visual impairment or endocrine dysfunction, became symptomatic during the follow-up period, or were found to have cyst enlargement. These 118 patients underwent transsphenoidal surgery. Forty-two patients with incidental lesions that demonstrated no growth on magnetic resonance (MR) images were followed up without an operation. Complete resection, as observed on MR images 3 months postoperatively, was obtained in 114 (97%) of 118 patients. Vision improved postoperatively in 57 (98%) of 58 patients. Hypogonadism improved in 11 (18%) of 62 patients, growth hormone deficiency resolved in 14 (18%) of 78 patients, and hypocortisolemia resolved in one (14%) of seven patients. Twenty-two patients (19%) began to exhibit symptoms of diabetes insipidus, which had not been present preoperatively. The total 5-year recurrence rate was 18% (21 of 118 patients), with 12 patients requiring a repeated operation. Surgical and pathological factors that were found to be statistically associated with recurrence were the use of a fat and/or fascial graft for closure (p , 0.01) and the presence of squamous metaplasia in the cyst wall (p < 0.01). The extent of resection of the cyst wall was not associated with an increased rate of recurrence. In 42 (69%) of 61 patients the incidental cysts did not progress on imaging studies or clinically. Conclusions. This is the largest series of patients with symptomatic Rathke cleft cysts who received operative intervention and participated in the longest postoperative follow up reported in the literature. The high recurrence rate (18%) supports the theory that a relationship exists between a symptomatic Rathke cleft cyst and craniopharyngioma. Improvements in visual and endocrine dysfunction can be expected after surgical decompression of the optic apparatus and the hypothalamic-pituitary axis

Construct, Merge, Solve and Adapt: Application to the repetition-free longest common subsequence problem

In this paper we present the application of a recently proposed, general, algorithm for combinatorial optimization to the repetition-free longest common subsequence problem. The applied algorithm, which is labelled Construct, Merge, Solve & Adapt, generates sub-instances based on merging the solution components found in randomly constructed solutions. These sub-instances are subsequently solved by means of an exact solver. Moreover, the considered sub-instances are dynamically changing due to adding new solution components at each iteration, and removing existing solution components on the basis of indicators about their usefulness. The results of applying this algorithm to the repetition-free longest common subsequence problem show that the algorithm generally outperforms competing approaches from the literature. Moreover, they show that the algorithm is competitive with CPLEX for small and medium size problem instances, whereas it outperforms CPLEX for larger problem instances.Peer ReviewedPostprint (author's final draft

Linear Parsing Expression Grammars

PEGs were formalized by Ford in 2004, and have several pragmatic operators (such as ordered choice and unlimited lookahead) for better expressing modern programming language syntax. Since these operators are not explicitly defined in the classic formal language theory, it is significant and still challenging to argue PEGs' expressiveness in the context of formal language theory.Since PEGs are relatively new, there are several unsolved problems.One of the problems is revealing a subclass of PEGs that is equivalent to DFAs. This allows application of some techniques from the theory of regular grammar to PEGs. In this paper, we define Linear PEGs (LPEGs), a subclass of PEGs that is equivalent to DFAs. Surprisingly, LPEGs are formalized by only excluding some patterns of recursive nonterminal in PEGs, and include the full set of ordered choice, unlimited lookahead, and greedy repetition, which are characteristic of PEGs. Although the conversion judgement of parsing expressions into DFAs is undecidable in general, the formalism of LPEGs allows for a syntactical judgement of parsing expressions.Comment: Parsing expression grammars, Boolean finite automata, Packrat parsin

Back Reflector with Diffractive Gratings for Light-Trapping in Thin-Film III-V Solar Cells

We report on the development of light-Trapping architectures applied to thin-film solar cells. In particular, we focus on enhancing the absorption at 1-eV spectral range for dilute nitride and quantum dot materials and report on the influence of planar back reflectors on the photovoltaic properties. Moreover, we discuss the properties of polymer diffraction gratings with enhanced light-Trapping capability pointing to advantageous properties of pyramidal gratings. In order to understand the suitability of these polymer grating architectures for space applications, we have performed an electron irradiation study (1 MeV) revealing the absence of reflectance changes up to doses of 1×1015 e-/cm

Lube Oil Recycling: Environmental and Economic Implications

This study presents a practical investigation on the reuse of spent lubricating oil as its indiscriminate disposal by the various users daily constitutes a serious pollution problem in the environment. In carrying out this work, samples of various used lubricating oil collected at different locations were analyzed for their physical and chemical composition, to ascertain their suitability for use as fuel in the cement factory. The examined parameters gave average values of 9.4686 kcal/kg, 96 oC, 18.48, 24 oC and 7834.5 kg/m3 for caloric value, flash point, viscosity, pour point and ash content respectively. The results were compared with those of low fuel oil, used in the cement factories. Consequently, a trial burn was conducted which gave mean values of 133.7 mg/m3, 1.7 ppm, 112.3 mg/m3, ﹤25.0 mg/m3, 20.0 mg/m3, ﹤0.1 mg/m3, ﹤6.8 mg/m3 and 371.2 ppm for SPM, CO, THC, SO3, NO3, H2S, NH3 and CO3 respectively. The results obtained clearly showed that the used lubricating oil has chemical composition, calorific value and other physical properties that are comparable to those of low pour fuel oil. The results obtained from the trial burn conducted in the various cement factories, reveal that, the use of used lubricating oil as fuel in cement factories is environmental friendly and economically viable technique of disposing used lubricating oil

Genetic Diversity in Commercially Exploited Fish Species

This document was produced during a three-day seminar and workshop on the genetic diversity of commercially exploited fish species in Nordic waters held at Holar College, Iceland. The aim of the seminar was to discuss current knowledge regarding the effects of commercial fishing activities on the genetic diversity of wild, marine species of fish in Nordic waters, and to provide recommendations for necessary actions to minimize further loss of such diversity. This document expresses the joint view of the selected expert scientists invited to the meeting, and the content concerns fish populations exploited in Nordic waters. During the first day of the meeting short presentations were given by some of the participants. The abstracts of these presentations are provided in Appendix 2 and the full workshop program in Appendix 3. Topics for working groups during workshop sections, and the initial questions outlined for the discussions are provided in Appendix 4

Back grating optimization for light trapping in thin-film quantum dot solar cells

The work presents the design of a diffraction back grating for light-trapping in thin-film GaAs-based quantum dot solar cells. Uni-periodic and bi-periodic gratings made of off-theshelf almost transparent dielectric materials routinely used in photolithography are considered. Gratings are wave-optics simulated by rigorous coupled wave analysis. Optimizing the shape and geometrical aspect ratio of the grating, almost quadrupled photocurrent from quantum dots is demonstrated